Leslie Lamport
Microsft Research
の記事:
https://www.microsoft.com/en-us/research/blog/leslie-lamport-receives-turing-award/